WITH Console_Interface;
WITH Console_Interface.Menus;
WITH Ada.Directories;
WITH Ada.Text_IO;
WITH Ada.Strings.Unbounded;
WITH Test_Cases_Mainsuite;
WITH Petrinets;
WITH Xml_Readers;

PACKAGE Application IS

  Xml_Path :  Ada.Strings.Unbounded.Unbounded_String;

  PROCEDURE Petrinet_Analysis;

  PROCEDURE Test_Suite ;

  PROCEDURE About;

PRIVATE

  PACKAGE Integerio IS NEW Ada.Text_IO.Integer_Io (Integer);
  PACKAGE Dyn_Str   RENAMES Ada.Strings.Unbounded;


END Application;
